Instance,nrRules,success,nrStates,n,runtime_ms
1,5,1,3,1,20
2,5,1,3,1,3
3,5,1,3,1,2
4,5,1,3,1,2
5,5,1,3,1,2
6,5,1,3,1,2
7,5,1,3,1,2
8,5,1,3,1,2
9,5,1,3,1,2
10,5,1,3,1,2
11,5,1,3,1,2
12,5,1,3,1,2
13,5,1,3,1,2
14,5,1,3,1,1
15,5,1,3,1,1
16,5,1,3,1,2
17,5,1,3,1,1
18,5,1,3,1,1
19,5,1,3,1,1
20,5,1,3,1,1
21,5,1,3,1,1
22,36,1,13,2,6
23,36,1,13,2,5
24,36,1,13,2,4
25,36,1,13,2,5
26,36,1,13,2,4
27,36,1,13,2,3
28,36,1,13,2,3
29,36,1,13,2,3
30,36,1,13,2,3
31,36,1,13,2,3
32,36,1,13,2,3
33,36,1,13,2,2
34,36,1,13,2,2
35,36,1,13,2,3
36,36,1,13,2,2
37,36,1,13,2,2
38,36,1,13,2,2
39,36,1,13,2,2
40,36,1,13,2,2
41,36,1,13,2,2
42,36,1,13,2,2
43,36,1,13,2,2
44,36,1,13,2,2
45,36,1,13,2,2
46,36,1,13,2,1
47,36,1,13,2,1
48,36,1,13,2,2
49,36,1,13,2,2
50,36,1,13,2,2
51,36,1,13,2,2
52,36,1,13,2,1
53,36,1,13,2,2
54,36,1,13,2,2
55,36,1,13,2,1
56,36,1,13,2,2
57,36,1,13,2,1
58,36,1,13,2,2
59,36,1,13,2,1
60,36,1,13,2,1
61,36,1,13,2,1
62,36,1,13,2,1
63,36,1,13,2,1
64,36,1,13,2,1
65,36,1,13,2,1
66,36,1,13,2,1
67,36,1,13,2,1
68,36,1,13,2,1
69,36,1,13,2,1
70,36,1,13,2,1
71,36,1,13,2,1
72,36,1,13,2,1
73,36,1,13,2,1
74,36,1,13,2,1
75,36,1,13,2,1
76,36,1,13,2,1
77,36,1,13,2,1
78,36,1,13,2,1
79,36,1,13,2,1
80,36,1,13,2,1
81,36,1,13,2,1
82,36,1,13,2,1
83,36,1,13,2,1
84,36,1,13,2,1
85,36,1,13,2,2
86,36,1,13,2,1
87,36,1,13,2,1
88,36,1,13,2,1
89,36,1,13,2,1
90,36,1,13,2,1
91,36,1,13,2,1
92,36,1,13,2,1
93,36,1,13,2,1
94,36,1,13,2,1
95,39,1,15,2,1
96,36,1,13,2,1
97,36,1,13,2,1
98,36,1,13,2,1
99,36,1,13,2,1
100,36,1,13,2,1
101,36,1,13,2,1
102,36,1,13,2,1
103,36,1,13,2,1
104,36,1,13,2,2
105,36,1,13,2,1
106,36,1,13,2,1
107,36,1,13,2,1
108,36,1,13,2,1
109,36,1,13,2,1
110,36,1,13,2,1
111,36,1,13,2,1
112,36,1,13,2,1
113,36,1,13,2,1
114,36,1,13,2,1
115,36,1,13,2,0
116,36,1,13,2,1
117,36,1,13,2,1
118,36,1,13,2,1
119,36,1,13,2,1
120,36,1,13,2,1
121,3,0,2,2,0
122,36,1,13,2,1
123,36,1,13,2,1
124,36,1,13,2,1
125,36,1,13,2,1
126,36,1,13,2,1
127,36,1,13,2,1
128,36,1,13,2,1
129,36,1,13,2,1
130,36,1,13,2,1
131,36,1,13,2,1
132,36,1,13,2,1
133,36,1,13,2,1
134,36,1,13,2,1
135,36,1,13,2,1
136,36,1,13,2,1
137,36,1,13,2,0
138,36,1,13,2,1
139,36,1,13,2,1
140,36,1,13,2,1
141,36,1,13,2,0
142,36,1,13,2,0
143,36,1,13,2,1
144,36,1,13,2,1
145,36,1,13,2,1
146,36,1,13,2,1
147,36,1,13,2,0
148,36,1,13,2,0
149,36,1,13,2,0
150,6,0,4,3,0
151,6,0,4,3,0
152,89,1,27,3,3
153,6,0,4,3,1
154,89,1,27,3,2
155,6,0,4,3,0
156,143,1,35,3,2
157,6,0,4,3,0
158,6,0,4,3,0
159,6,0,4,3,0
160,89,1,27,3,1
161,143,1,35,3,2
162,89,1,27,3,2
163,6,0,4,3,0
164,89,1,27,3,2
165,89,1,27,3,2
166,89,1,27,3,2
167,6,0,4,3,0
168,6,0,4,3,0
169,89,1,27,3,2
170,89,1,27,3,2
171,6,0,4,3,0
172,16,0,6,3,0
173,89,1,27,3,1
174,16,0,6,3,0
175,6,0,4,3,0
176,6,0,4,3,0
177,89,1,27,3,1
178,143,1,35,3,2
179,89,1,27,3,1
180,89,1,27,3,1
181,16,0,6,3,0
182,6,0,4,3,0
183,143,1,35,3,2
184,143,1,35,3,2
185,89,1,27,3,2
186,16,0,6,3,1
187,6,0,4,3,0
188,6,0,4,3,1
189,89,1,27,3,2
190,6,0,4,3,0
191,143,1,35,3,2
192,16,0,6,3,1
193,6,0,4,3,0
194,6,0,4,3,0
195,89,1,27,3,1
196,143,1,35,3,1
197,89,1,27,3,1
198,6,0,4,3,0
199,89,1,27,3,1
200,6,0,4,3,0
201,89,1,27,3,1
202,89,1,27,3,1
203,89,1,27,3,1
204,143,1,35,3,1
205,143,1,35,3,1
206,143,1,35,3,1
207,6,0,4,3,0
208,143,1,35,3,2
209,6,0,4,3,0
210,6,0,4,3,0
211,89,1,27,3,1
212,89,1,27,3,1
213,6,0,4,3,0
214,6,0,4,3,0
215,6,0,4,3,0
216,89,1,27,3,1
217,89,1,27,3,2
218,143,1,35,3,1
219,6,0,4,3,0
220,143,1,35,3,1
221,89,1,27,3,1
222,6,0,4,3,0
223,19,0,8,3,0
224,89,1,27,3,1
225,19,0,8,3,0
226,89,1,27,3,1
227,6,0,4,3,0
228,6,0,4,3,0
229,6,0,4,3,0
230,89,1,27,3,1
231,6,0,4,3,0
232,89,1,27,3,1
233,89,1,27,3,1
234,89,1,27,3,1
235,6,0,4,3,0
236,89,1,27,3,1
237,6,0,4,3,1
238,6,0,4,3,1
239,16,0,6,3,0
240,6,0,4,3,0
241,16,0,6,3,0
242,89,1,27,3,1
243,6,0,4,3,0
244,89,1,27,3,1
245,89,1,27,3,1
246,89,1,27,3,1
247,6,0,4,3,0
248,6,0,4,3,0
249,89,1,27,3,1
250,143,1,35,3,2
251,89,1,27,3,1
252,89,1,27,3,1
253,6,0,4,3,0
254,6,0,4,3,0
255,89,1,27,3,1
256,89,1,27,3,1
257,89,1,27,3,1
258,6,0,4,3,0
259,6,0,4,3,0
260,6,0,4,3,0
261,89,1,27,3,1
262,6,0,4,3,0
263,89,1,27,3,1
264,6,0,4,3,0
265,89,1,27,3,1
266,143,1,35,3,1
267,89,1,27,3,1
268,143,1,35,3,1
269,89,1,27,3,1
270,15,0,8,4,0
271,31,0,12,4,0
272,25,0,10,4,1
273,31,0,12,4,1
274,256,1,57,4,2
275,228,1,53,4,2
276,15,0,8,4,0
277,15,0,8,4,0
278,256,1,57,4,1
279,15,0,8,4,0
280,6,0,4,4,0
281,31,0,12,4,0
282,142,1,41,4,1
283,47,0,16,4,0
284,31,0,12,4,0
285,15,0,8,4,0
286,31,0,12,4,0
287,31,0,12,4,0
288,15,0,8,4,0
289,31,0,12,4,0
290,15,0,8,4,0
291,256,1,57,4,2
292,23,0,10,4,0
293,25,0,10,4,0
294,31,0,12,4,0
295,6,0,4,4,0
296,15,0,8,4,0
297,31,0,12,4,0
298,256,1,57,4,2
299,9,0,6,4,0
300,256,1,57,4,2
301,15,0,8,4,0
302,6,0,4,4,0
303,25,0,10,4,0
304,23,0,10,4,1
305,256,1,57,4,1
306,45,0,14,4,0
307,256,1,57,4,1
308,142,1,41,4,1
309,19,0,8,4,0
310,256,1,57,4,2
311,256,1,57,4,1
312,31,0,12,4,0
313,25,0,10,4,0
314,15,0,8,4,0
315,15,0,8,4,0
316,6,0,4,4,0
317,256,1,57,4,1
318,526,1,85,4,2
319,31,0,12,4,0
320,23,0,10,4,0
321,256,1,57,4,1
322,65,0,18,4,1
323,31,0,12,4,0
324,15,0,8,4,0
325,142,1,41,4,1
326,142,1,41,4,2
327,31,0,12,4,0
328,15,0,8,4,0
329,9,0,6,4,0
330,15,0,8,4,0
331,142,1,41,4,1
332,256,1,57,4,2
333,6,0,4,4,0
334,142,1,41,4,1
335,23,0,10,4,0
336,256,1,57,4,2
337,25,0,10,4,0
338,25,0,10,4,0
339,31,0,12,4,0
340,142,1,41,4,1
341,526,1,85,4,2
342,25,0,10,4,0
343,142,1,41,4,1
344,25,0,10,4,0
345,15,0,8,4,0
346,228,1,53,4,1
347,31,0,12,4,0
348,31,0,12,4,0
349,31,0,12,4,0
350,31,0,12,4,0
351,6,0,4,4,0
352,23,0,10,4,0
353,9,0,6,4,0
354,228,1,53,4,1
355,142,1,41,4,1
356,142,1,41,4,1
357,228,1,53,4,1
358,228,1,53,4,1
359,31,0,12,4,0
360,31,0,12,4,0
361,15,0,8,4,0
362,31,0,12,4,0
363,31,0,12,4,0
364,23,0,10,4,0
365,45,0,14,4,0
366,31,0,12,4,0
367,31,0,12,4,0
368,31,0,12,4,0
369,15,0,8,4,0
370,31,0,12,4,0
371,256,1,57,4,1
372,15,0,8,4,0
373,15,0,8,4,0
374,15,0,8,4,0
375,31,0,12,4,0
376,23,0,10,4,0
377,31,0,12,4,0
378,6,0,4,4,0
379,23,0,10,4,0
380,228,1,53,4,1
381,23,0,10,4,0
382,15,0,8,4,0
383,15,0,8,4,0
384,23,0,10,4,0
385,23,0,10,4,0
386,15,0,8,4,0
387,23,0,10,4,0
388,6,0,4,4,0
389,31,0,12,4,0
390,15,0,8,4,0
391,15,0,8,4,0
392,23,0,10,4,0
393,23,0,10,4,0
394,15,0,8,4,0
395,31,0,12,4,0
396,31,0,12,4,0
397,256,1,57,4,1
398,15,0,8,4,0
399,256,1,57,4,1
400,23,0,10,4,0
401,23,0,10,4,0
402,31,0,12,4,0
403,25,0,10,4,0
404,256,1,57,4,1
405,228,1,53,4,1
406,228,1,53,4,1
407,15,0,8,4,0
408,25,0,10,4,0
409,16,0,6,4,0
410,15,0,8,4,0
411,256,1,57,4,1
412,142,1,41,4,1
413,15,0,8,4,0
414,15,0,8,4,0
415,23,0,10,4,0
416,15,0,8,4,0
417,19,0,8,4,0
418,256,1,57,4,1
419,15,0,8,4,0
420,142,1,41,4,1
421,15,0,8,4,0
422,6,0,4,4,0
423,31,0,12,4,0
424,23,0,10,4,0
425,6,0,4,4,0
426,256,1,57,4,1
427,45,0,14,4,0
428,256,1,57,4,1
429,256,1,57,4,1
430,15,0,8,4,0
431,23,0,10,4,0
432,15,0,8,4,0
433,15,0,8,4,0
434,15,0,8,4,0
435,256,1,57,4,1
436,31,0,12,4,0
437,228,1,53,4,1
438,31,0,12,4,0
439,256,1,57,4,1
440,142,1,41,4,1
441,15,0,8,4,0
442,526,1,85,4,2
443,15,0,8,4,0
444,40,0,16,5,0
445,26,0,12,5,0
446,18,0,10,5,0
447,94,0,26,5,1
448,54,0,18,5,0
449,50,0,18,5,0
450,18,0,10,5,0
451,70,0,22,5,0
452,18,0,10,5,3
453,475,1,91,5,2
454,18,0,10,5,0
455,60,0,20,5,0
456,9,0,6,5,0
457,60,0,20,5,0
458,40,0,16,5,0
459,50,0,18,5,0
460,38,0,14,5,0
461,40,0,16,5,0
462,19,0,8,5,0
463,19,0,8,5,0
464,60,0,20,5,0
465,34,0,14,5,0
466,19,0,8,5,0
467,60,0,20,5,0
468,15,0,8,5,0
469,50,0,18,5,0
470,309,1,71,5,2
471,72,0,22,5,0
472,132,0,32,5,0
473,50,0,18,5,0
474,70,0,22,5,1
475,807,1,123,5,4
476,475,1,91,5,2
477,132,0,32,5,1
478,50,0,18,5,0
479,38,0,14,5,0
480,32,0,14,5,0
481,54,0,18,5,0
482,50,0,18,5,0
483,50,0,18,5,0
484,50,0,18,5,0
485,60,0,20,5,0
486,29,0,10,5,0
487,19,0,8,5,0
488,195,1,55,5,1
489,341,1,75,5,2
490,54,0,18,5,0
491,15,0,8,5,1
492,76,0,24,5,0
493,9,0,6,5,0
494,58,0,18,5,0
495,54,0,18,5,0
496,40,0,16,5,0
497,48,0,18,5,0
498,28,0,12,5,0
499,15,0,8,5,0
500,807,1,123,5,3
501,50,0,18,5,0
502,54,0,18,5,0
503,72,0,22,5,1
504,9,0,6,5,0
505,32,0,14,5,0
506,132,0,32,5,1
507,30,0,12,5,0
508,50,0,18,5,0
509,32,0,14,5,0
510,72,0,22,5,0
511,46,0,16,5,1
512,70,0,22,5,1
513,56,0,20,5,0
514,28,0,12,5,0
515,40,0,16,5,0
516,40,0,16,5,0
517,60,0,20,5,0
518,9,0,6,5,0
519,60,0,20,5,0
520,11,0,6,5,0
521,309,1,71,5,2
522,32,0,14,5,0
523,28,0,12,5,0
524,40,0,16,5,0
525,70,0,22,5,0
526,25,0,10,5,0
527,74,0,22,5,0
528,70,0,22,5,0
529,56,0,20,5,0
530,40,0,16,5,0
531,58,0,18,5,0
532,18,0,10,5,1
533,475,1,91,5,2
534,56,0,20,5,0
535,74,0,22,5,0
536,60,0,20,5,0
537,9,0,6,5,0
538,9,0,6,5,0
539,9,0,6,5,0
540,9,0,6,5,0
541,9,0,6,5,0
542,9,0,6,5,0
543,56,0,20,5,0
544,50,0,18,5,0
545,72,0,22,5,0
546,9,0,6,5,0
547,15,0,8,5,0
548,50,0,18,5,0
549,58,0,18,5,0
550,32,0,14,5,0
551,48,0,18,5,0
552,18,0,10,5,0
553,6,0,4,5,0
554,475,1,91,5,2
555,48,0,18,5,0
556,341,1,75,5,2
557,50,0,18,5,0
558,475,1,91,5,2
559,313,1,71,5,2
560,60,0,20,5,0
561,126,0,30,5,0
562,56,0,20,5,0
563,60,0,20,5,0
564,341,1,75,5,2
565,68,0,20,5,0
566,48,0,18,5,0
567,56,0,20,5,0
568,40,0,16,5,0
569,40,0,16,5,0
570,807,1,123,5,3
571,48,0,16,5,0
572,40,0,16,5,0
573,60,0,20,5,0
574,40,0,16,5,0
575,807,1,123,5,3
576,40,0,16,5,0
577,42,0,16,5,0
578,136,0,32,5,1
579,19,0,8,5,0
580,132,0,32,5,1
581,40,0,16,5,0
582,807,1,123,5,4
583,40,0,16,5,0
584,341,1,75,5,2
585,309,1,71,5,2
586,31,0,12,5,0
587,56,0,20,5,0
588,32,0,14,5,0
589,40,0,16,5,0
590,48,0,18,5,0
591,18,0,10,5,0
592,70,0,22,5,0
593,60,0,20,5,0
594,40,0,16,5,0
595,48,0,18,5,0
596,48,0,18,5,0
597,31,0,12,5,0
598,19,0,8,5,0
599,9,0,6,5,0
600,50,0,18,5,0
601,50,0,18,5,0
602,699,1,111,5,3
603,60,0,20,5,0
604,341,1,75,5,1
605,34,0,14,5,0
606,40,0,16,5,0
607,48,0,16,5,0
608,31,0,12,5,0
609,48,0,18,5,0
610,40,0,16,5,0
611,6,0,4,5,0
612,341,1,75,5,2
613,341,1,75,5,2
614,56,0,20,5,0
615,56,0,20,5,0
616,84,0,24,5,0
617,56,0,20,5,0
618,56,0,20,5,0
619,56,0,20,5,0
620,32,0,14,5,0
621,40,0,16,5,0
622,48,0,18,5,0
623,38,0,14,5,0
624,56,0,20,5,0
625,19,0,8,5,0
626,18,0,10,5,0
627,26,0,12,5,0
628,29,0,10,5,0
629,9,0,6,5,0
630,50,0,18,5,0
631,50,0,18,5,0
632,281,1,67,5,1
633,48,0,16,5,0
634,19,0,8,5,0
635,309,1,71,5,2
636,40,0,16,5,0
637,32,0,14,5,0
638,70,0,22,5,0
639,60,0,20,5,1
640,18,0,10,5,0
641,699,1,111,5,2
642,31,0,12,5,0
643,40,0,16,5,0
644,313,1,71,5,1
645,18,0,10,5,0
646,32,0,14,5,0
647,32,0,14,5,0
648,50,0,18,5,0
649,54,0,18,5,0
650,50,0,18,5,0
651,70,0,22,5,0
652,58,0,18,5,0
653,60,0,20,5,0
654,341,1,75,5,1
655,309,1,71,5,1
656,132,0,32,5,0
657,281,1,67,5,1
658,50,0,18,5,0
659,87,0,28,6,0
660,34,0,14,6,0
661,75,0,26,6,0
662,34,0,14,6,0
663,18,0,10,6,0
664,34,0,14,6,0
665,99,0,30,6,0
666,9,0,6,6,0
667,73,0,24,6,0
668,179,0,42,6,1
669,40,0,16,6,0
670,231,0,50,6,1
671,151,0,38,6,1
672,63,0,22,6,0
673,75,0,26,6,0
674,53,0,20,6,0
675,49,0,20,6,0
676,18,0,10,6,0
677,81,0,26,6,0
678,18,0,10,6,0
679,75,0,26,6,0
680,14,0,8,6,0
681,83,0,26,6,0
682,179,0,42,6,1
683,34,0,14,6,0
684,426,1,93,6,2
685,12,0,6,6,0
686,57,0,22,6,0
687,67,0,24,6,0
688,67,0,22,6,0
689,163,0,38,6,1
690,91,0,28,6,0
691,79,0,26,6,0
692,57,0,22,6,0
693,19,0,8,6,0
694,22,0,10,6,1
695,18,0,10,6,1
696,59,0,22,6,2
697,588,1,113,6,8
698,145,0,36,6,2
699,111,0,32,6,2
700,56,0,20,6,2
701,179,0,42,6,3
702,179,0,42,6,3
703,141,0,36,6,2
704,79,0,26,6,2
705,60,0,20,6,2
706,79,0,26,6,2
707,28,0,12,6,1
708,79,0,26,6,2
709,63,0,20,6,2
710,6,0,4,6,0
711,9,0,6,6,1
712,18,0,10,6,1
713,34,0,14,6,1
714,99,0,30,6,2
715,588,1,113,6,8
716,151,0,38,6,3
717,54,0,18,6,2
718,71,0,24,6,2
719,141,0,36,6,3
720,85,0,28,6,2
721,36,0,14,6,1
722,126,0,30,6,2
723,79,0,24,6,2
724,79,0,26,6,2
725,75,0,22,6,2
726,1154,1,165,6,12
727,59,0,22,6,1
728,87,0,28,6,1
729,193,0,44,6,1
730,43,0,18,6,1
731,44,0,16,6,0
732,43,0,18,6,0
733,24,0,10,6,0
734,28,0,12,6,0
735,18,0,10,6,0
736,9,0,6,6,0
737,9,0,6,6,0
738,35,0,16,6,0
739,860,1,137,6,5
740,67,0,22,6,1
741,28,0,12,6,0
742,26,0,12,6,1
743,26,0,12,6,0
744,34,0,14,6,0
745,71,0,24,6,1
746,48,0,16,6,0
747,860,1,137,6,10
748,95,0,30,6,1
749,34,0,14,6,0
750,40,0,16,6,0
751,32,0,14,6,0
752,87,0,28,6,1
753,28,0,12,6,0
754,28,0,12,6,0
755,102,0,32,6,1
756,40,0,16,6,0
757,34,0,14,6,1
758,34,0,14,6,1
759,89,0,28,6,2
760,231,0,50,6,3
761,75,0,26,6,2
762,32,0,14,6,2
763,79,0,26,6,2
764,79,0,26,6,2
765,37,0,16,6,1
766,29,0,10,6,3
767,60,0,20,6,1
768,9,0,6,6,1
769,65,0,24,6,2
770,34,0,14,6,1
771,79,0,26,6,2
772,75,0,26,6,2
773,179,0,42,6,3
774,43,0,18,6,1
775,57,0,22,6,2
776,57,0,22,6,2
777,68,0,20,6,1
778,28,0,12,6,1
779,99,0,30,6,2
780,99,0,30,6,2
781,99,0,30,6,2
782,99,0,30,6,2
783,44,0,16,6,1
784,67,0,22,6,2
785,87,0,28,6,2
786,9,0,6,6,1
787,69,0,24,6,2
788,40,0,16,6,1
789,15,0,8,6,2
790,69,0,24,6,2
791,20,0,10,6,1
792,69,0,24,6,2
793,111,0,32,6,2
794,560,1,109,6,7
795,34,0,14,6,1
796,1234,1,173,6,12
797,588,1,113,6,8
798,34,0,14,6,1
799,43,0,18,6,1
800,32,0,12,6,1
801,139,0,34,6,2
802,34,0,14,6,1
803,24,0,12,6,1
804,15,0,8,6,1
805,95,0,30,6,2
806,99,0,30,6,2
807,34,0,14,6,0
808,154,0,38,6,1
809,980,1,149,6,6
810,67,0,24,6,1
811,43,0,18,6,0
812,36,0,14,6,0
813,19,0,8,6,0
814,58,0,18,6,0
815,60,0,20,6,0
816,366,1,85,6,3
817,95,0,30,6,1
818,24,0,12,6,0
819,18,0,10,6,0
820,18,0,10,6,0
821,18,0,10,6,0
822,58,0,18,6,0
823,509,0,80,6,2
824,95,0,30,6,1
825,87,0,28,6,1
826,70,0,22,6,0
827,79,0,26,6,0
828,43,0,18,6,0
829,79,0,26,6,0
830,67,0,24,6,0
831,14,0,8,6,0
832,106,0,34,6,1
833,87,0,28,6,0
834,139,0,34,6,1
835,73,0,24,6,0
836,43,0,18,6,0
837,141,0,36,6,1
838,85,0,28,6,0
839,104,0,34,6,1
840,193,0,44,6,1
841,32,0,12,6,0
842,79,0,26,6,0
843,75,0,26,6,0
844,49,0,20,6,0
845,50,0,18,6,0
846,76,0,26,7,1
847,37,0,16,7,0
848,43,0,18,7,0
849,154,0,40,7,1
850,73,0,24,7,0
851,75,0,26,7,1
852,72,0,26,7,0
853,33,0,14,7,0
854,73,0,24,7,0
855,636,0,98,7,3
856,160,0,42,7,1
857,37,0,16,7,0
858,57,0,20,7,0
859,22,0,10,7,0
860,35,0,16,7,0
861,78,0,28,7,0
862,35,0,16,7,0
863,139,0,34,7,1
864,202,0,48,7,1
865,126,0,38,7,3
866,41,0,18,7,2
867,67,0,24,7,2
868,27,0,14,7,1
869,18,0,10,7,1
870,22,0,10,7,1
871,306,0,62,7,4
872,135,0,34,7,2
873,51,0,18,7,1
874,27,0,12,7,1
875,256,0,58,7,4
876,73,0,24,7,2
877,18,0,10,7,1
878,87,0,26,7,2
879,22,0,10,7,1
880,776,0,114,7,7
881,47,0,18,7,2
882,35,0,16,7,1
883,53,0,20,7,2
884,28,0,12,7,1
885,63,0,22,7,2
886,37,0,16,7,1
887,87,0,26,7,2
888,51,0,20,7,2
889,106,0,34,7,2
890,48,0,16,7,1
891,241,0,48,7,3
892,21,0,12,7,1
893,45,0,18,7,1
894,40,0,16,7,1
895,18,0,10,7,1
896,22,0,10,7,1
897,100,0,34,7,3
898,51,0,20,7,2
899,102,0,26,7,2
900,27,0,14,7,1
901,35,0,16,7,2
902,45,0,18,7,2
903,73,0,24,7,2
904,94,0,30,7,2
905,44,0,16,7,1
906,98,0,32,7,2
907,256,0,58,7,4
908,73,0,24,7,2
909,196,0,50,7,3
910,28,0,12,7,0
911,256,0,58,7,1
912,57,0,22,7,1
913,59,0,22,7,1
914,224,0,50,7,3
915,256,0,58,7,3
916,94,0,30,7,2
917,141,0,36,7,2
918,120,0,36,7,3
919,43,0,18,7,1
920,43,0,18,7,1
921,211,0,54,7,3
922,35,0,14,7,1
923,47,0,18,7,1
924,112,0,36,7,2
925,40,0,16,7,1
926,53,0,20,7,1
927,57,0,22,7,1
928,415,0,76,7,4
929,74,0,24,7,1
930,95,0,30,7,2
931,104,0,34,7,2
932,57,0,22,7,1
933,124,0,38,7,2
934,43,0,18,7,1
935,25,0,12,7,0
936,59,0,22,7,2
937,112,0,34,7,1
938,50,0,20,7,1
939,31,0,14,7,0
940,37,0,16,7,0
941,18,0,10,7,0
942,12,0,8,7,0
943,59,0,22,7,0
944,136,0,40,7,1
945,64,0,24,7,2
946,138,0,36,7,1
947,45,0,18,7,1
948,215,0,56,7,1
949,28,0,12,7,0
950,74,0,22,7,1
951,43,0,18,7,0
952,100,0,30,7,0
953,68,0,20,7,1
954,37,0,16,7,0
955,43,0,18,7,0
956,96,0,30,7,1
957,43,0,18,7,0
958,240,0,54,7,1
959,27,0,14,7,1
960,25,0,12,7,0
961,59,0,22,7,0
962,74,0,28,7,1
963,43,0,18,7,0
964,92,0,32,7,1
965,37,0,16,7,0
966,522,0,84,7,2
967,43,0,18,7,0
968,44,0,18,7,1
969,84,0,30,7,1
970,1435,1,203,7,5
971,204,0,50,7,2
972,43,0,18,7,1
973,673,1,131,7,4
974,160,0,42,7,1
975,70,0,22,7,0
976,240,0,54,7,2
977,325,0,70,7,1
978,104,0,34,7,1
979,50,0,18,7,1
980,53,0,20,7,0
981,60,0,24,7,1
982,51,0,20,7,0
983,1239,1,183,7,5
984,204,0,50,7,1
985,104,0,32,7,0
986,27,0,14,7,1
987,172,0,42,7,1
988,240,0,54,7,1
989,129,0,40,8,2
990,392,0,74,8,1
991,70,0,26,8,0
992,18,0,12,8,0
993,104,0,34,8,1
994,21,0,12,8,1
995,215,0,56,8,2
996,27,0,14,8,1
997,37,0,16,8,1
998,40,0,18,8,1
999,12,0,8,8,0
1000,139,0,44,8,2
1001,56,0,22,8,1
1002,200,0,54,8,3
1003,82,0,28,8,1
1004,74,0,28,8,1
1005,74,0,28,8,2
1006,72,0,26,8,1
1007,88,0,30,8,1
1008,68,0,26,8,1
1009,58,0,24,8,1
1010,56,0,22,8,0
1011,113,0,38,8,2
1012,21,0,12,8,1
1013,70,0,26,8,1
1014,43,0,18,8,1
1015,353,0,72,8,3
1016,82,0,28,8,1
1017,76,0,26,8,2
1018,76,0,26,8,2
1019,56,0,22,8,1
1020,144,0,38,8,2
1021,81,0,28,8,1
1022,49,0,20,8,1
1023,74,0,28,8,1
1024,103,0,36,8,2
1025,37,0,16,8,1
1026,203,0,52,8,3
1027,27,0,14,8,1
1028,144,0,36,8,2
1029,335,0,68,8,3
1030,178,0,44,8,2
1031,82,0,28,8,1
1032,21,0,12,8,1
1033,785,0,118,8,5
1034,152,0,40,8,2
1035,71,0,22,8,1
1036,59,0,22,8,1
1037,131,0,40,8,2
1038,9,0,6,8,0
1039,85,0,26,8,1
1040,395,0,76,8,3
1041,53,0,20,8,1
1042,215,0,56,8,2
1043,132,0,38,8,2
1044,437,0,82,8,4
1045,1580,1,225,8,12
1046,98,0,32,8,2
1047,244,0,54,8,3
1048,43,0,18,8,1
1049,59,0,22,8,1
1050,277,0,66,8,3
1051,553,0,94,8,4
1052,38,0,14,8,1
1053,50,0,20,8,1
1054,27,0,12,8,1
1055,21,0,12,8,1
1056,62,0,24,8,1
1057,56,0,22,8,1
1058,234,0,52,8,3
1059,38,0,18,8,1
1060,100,0,32,8,1
1061,34,0,14,8,1
1062,60,0,24,8,1
1063,205,0,54,8,2
1064,67,0,22,8,1
1065,465,0,86,8,4
1066,31,0,14,8,1
1067,70,0,24,8,1
1068,35,0,16,8,1
1069,185,0,46,8,2
1070,513,0,100,8,5
1071,261,0,66,8,3
1072,185,0,50,8,3
1073,184,0,44,8,3
1074,110,0,32,8,2
1075,100,0,32,8,2
1076,41,0,16,8,1
1077,37,0,16,8,1
1078,180,0,46,8,2
1079,8814,1,605,8,43
1080,76,0,26,8,1
1081,43,0,18,8,1
1082,46,0,20,8,1
1083,76,0,26,8,1
1084,54,0,22,8,1
1085,39,0,16,8,1
1086,89,0,32,8,2
1087,57,0,22,8,1
1088,39,0,16,8,1
1089,22,0,10,8,1
1090,473,0,86,8,4
1091,80,0,26,8,2
1092,309,0,68,8,3
1093,70,0,26,8,2
1094,40,0,16,8,1
1095,59,0,22,8,1
1096,265,0,62,8,4
1097,52,0,22,8,2
1098,59,0,22,8,2
1099,98,0,32,8,2
1100,37,0,16,8,1
1101,521,0,86,8,5
1102,54,0,22,8,2
1103,240,0,54,8,3
1104,94,0,32,8,2
1105,154,0,40,8,2
1106,35,0,14,8,1
1107,3738,1,373,8,23
1108,201,0,54,8,3
1109,105,0,28,8,1
1110,37,0,16,8,1
1111,33,0,16,8,1
1112,18,0,10,8,1
1113,78,0,28,8,2
1114,113,0,36,8,2
1115,801,0,122,8,6
1116,143,0,44,8,2
1117,68,0,26,8,1
1118,102,0,32,8,2
1119,148,0,38,8,2
1120,28,0,12,8,1
1121,60,0,24,8,1
1122,26,0,14,8,0
1123,138,0,36,9,1
1124,43,0,18,9,1
1125,48,0,20,9,1
1126,191,0,48,9,2
1127,1573,1,235,9,14
1128,785,0,118,9,3
1129,45,0,18,9,1
1130,237,0,58,9,1
1131,73,0,28,9,1
1132,40,0,18,9,0
1133,72,0,26,9,0
1134,77,0,28,9,1
1135,152,0,46,9,1
1136,46,0,20,9,0
1137,83,0,30,9,1
1138,124,0,42,9,1
1139,115,0,36,9,1
1140,154,0,40,9,1
1141,50,0,22,9,0
1142,53,0,20,9,1
1143,53,0,20,9,0
1144,28,0,12,9,1
1145,1310,0,178,9,8
1146,53,0,20,9,1
1147,101,0,34,9,1
1148,193,0,50,9,1
1149,44,0,20,9,1
1150,29,0,14,9,0
1151,490,0,98,9,2
1152,85,0,30,9,0
1153,88,0,32,9,0
1154,68,0,26,9,1
1155,87,0,30,9,0
1156,76,0,26,9,0
1157,265,0,62,9,3
1158,133,0,42,9,1
1159,91,0,28,9,0
1160,305,0,66,9,3
1161,68,0,24,9,1
1162,34,0,14,9,1
1163,57,0,20,9,1
1164,137,0,42,9,2
1165,356,0,80,9,4
1166,205,0,50,9,3
1167,60,0,22,9,1
1168,170,0,50,9,2
1169,112,0,38,9,2
1170,47,0,18,9,1
1171,70,0,26,9,2
1172,164,0,44,9,3
1173,318,0,74,9,4
1174,86,0,28,9,1
1175,68,0,26,9,1
1176,138,0,36,9,2
1177,46,0,20,9,1
1178,88,0,32,9,2
1179,296,0,72,9,3
1180,90,0,28,9,1
1181,75,0,24,9,1
1182,46,0,20,9,1
1183,37,0,16,9,1
1184,43,0,20,9,1
1185,56,0,22,9,1
1186,96,0,32,9,2
1187,46,0,20,9,1
1188,91,0,32,9,2
1189,243,0,56,9,1
1190,91,0,32,9,2
1191,87,0,30,9,1
1192,41,0,16,9,1
1193,148,0,38,9,2
1194,105,0,36,9,1
1195,170,0,52,9,2
1196,144,0,38,9,1
1197,68,0,26,9,2
1198,183,0,48,9,2
1199,221,0,54,9,3
1200,222,0,56,9,3
1201,107,0,34,9,2
1202,204,0,50,9,3
1203,506,0,92,10,5
1204,102,0,36,10,1
1205,138,0,36,10,2
1206,389,0,88,10,3
1207,323,0,78,10,4
1208,127,0,42,10,1
1209,91,0,32,10,0
1210,61,0,26,10,0
1211,123,0,38,10,0
1212,102,0,34,10,0
1213,93,0,34,10,0
1214,65,0,26,10,0
1215,104,0,34,10,0
1216,192,0,52,10,1
1217,266,0,60,10,1
1218,178,0,52,10,1
1219,104,0,36,10,0
1220,95,0,32,10,0
1221,250,0,62,10,1
1222,103,0,34,10,0
1223,163,0,44,10,0
1224,46,0,20,10,0
1225,243,0,56,10,1
1226,96,0,30,10,0
1227,80,0,26,10,0
1228,196,0,54,10,1
1229,76,0,30,10,0
1230,117,0,42,10,0
1231,253,0,58,10,1
1232,63,0,26,10,0
1233,105,0,36,10,0
1234,145,0,36,10,0
1235,270,0,66,10,1
1236,41,0,18,10,0
1237,60,0,22,10,0
1238,116,0,38,10,0
1239,43,0,20,10,0
1240,166,0,46,10,0
1241,81,0,30,10,0
1242,61,0,24,10,0
1243,56,0,22,10,0
1244,87,0,30,10,0
1245,91,0,32,10,0
1246,99,0,32,10,0
1247,156,0,42,10,0
1248,83,0,28,10,0
1249,122,0,38,10,0
1250,77,0,30,10,0
1251,84,0,30,10,0
1252,233,0,62,10,1
1253,969,0,148,10,2
1254,116,0,38,10,0
1255,65,0,26,10,0
1256,114,0,40,10,0
1257,168,0,46,10,0
1258,74,0,24,10,0
1259,127,0,38,10,0
1260,25,0,12,10,0
1261,88,0,32,10,0
1262,47,0,20,10,0
1263,66,0,26,10,0
1264,36,0,18,10,0
1265,49,0,22,10,0
1266,184,0,48,10,1
1267,63,0,24,10,0
1268,103,0,36,10,0
1269,237,0,64,10,1
1270,60,0,22,10,0
1271,267,0,70,10,1